finite automata theory

有限自动机理论